Cases

Sometimes a claim is easier to prove when you split it into cases and handle each one separately.

The cases must cover every possibility. Each case gets its own proof, and the claim is proved once all of them are.

A common split: every integer is even or odd.