... proof by contradiction, vacuous proof, trivial proof, and proof by cases.
We start with a direct proof. Such a proof shows, using the rule of inferences that we just learned,
that if p is true, then q must be true. Any established mathematical fact proved before, axioms (facts
assumed to be true at ...