Demostración mediante diagnóstico