Como p ≠ p, tenemos que