Como x → p, hay un n tal que n ≥ n implica que s está en V.