A Math Proof that does not directly prove the statement in a Proof By Direct Proof, but proves something equivalent. Types Proof By Contradiction Proof By Contrapositive Proof by Cases Proof by Disjunction