3.1 TRIVIAL AND VACUOUS PROOFS - Mariamath.com