El ejemplo anterior utiliza la contrapositiva de una definición de demostrar un teorema.