Después de haber probado la contraposición, inferimos la declaración original.