Direct proof
A statement that can be proved with a direct proof is usually in the form "if p, then q." Here, p and q are facts. To solve a statement like this, every case where p is true must be considered.