Más casos de demostración.