Proof 1 • Proof by Contradiction • P2 Ex1A • 💡