Demostración: es obvio que el primer predicado es cierto.