Por lo tanto, para probar que algo es verdadero, será suficiente probar que no es falso.