Demostración de not()