¿Cómo se demuestra un teorema?