If we prove a theorem by examining a relatively small number of examples, or cases, that span all possibilities that this theorem addresses, this is a ________.
1) Direct Proof
2) Proof by Exhaustion
3) Proof by Contraposition
4) Proof by Induction