Es una aplicación de la verdad general de que, si una declaración es válida, también lo es su contraposición.