Como la contrapositiva de una sentencia siempre tiene el mismo valor de verdad (verdadero o falso) que la sentencia, puede ser una herramienta bastante útil para demostrar teoremas matemáticos.