Demostración 'completa'