Dos reglas para las demostraciones:"