Deduction, exhaustion and counterexample
A proof must work for every case, not just the ones you tried. Deduction uses algebra for a general case; exhaustion splits all possibilities into a few cases and checks each; and one single counterexample is enough to show a statement is false.
≈ 30 min