Direct Proof Introduction a theorem is a mathematical statement that is true and can be (and has been) verified as true