Esto implica que existe un valor s que lo hace posible.