8.6.4.Proof by Contradiction