También se puede probar un teorema que demuestra la contrapositiva de la declaración del teorema.