[Proof by contradiction doesn't have anything to do with the converse of a statement as andrewaylett incorrectly stated and EGreg is being a little bit difficul

[Proof by contradiction doesn't have anything to do with the converse of a statement as andrewaylett incorrectly stated and EGreg is being a little bit difficult here.]