In a proof using case analysis, the proof breaks down a statement being proved in terms of all possible cases, then prove that the statement holds for each case.