Description: Contraposition. Alternate proof of con3 . This proof is con3ALTVD automatically translated and minimized. (Contributed by Alan Sare, 21-Apr-2013) (Proof modification is discouraged.) (New usage is discouraged.)