Proposición evidente que no necesita demostración.