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.