A proof broken into distinct cases, where these cases cover all prospects, such proofs are known as

• A. direct proof
• B. contrapositive proofs
• C. vacuous proof
• D. proof by cases