A proof that p → q is true based on the fact that q is true, such proofs are known as

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