Fälle planen und abdecken

Idee: Die Fälle müssen zusammen jedes zulässige Objekt abdecken und einzeln widerspruchsfrei sein.

Jede ganze Zahl ist eindeutig von der Form $2k$ oder $2k+1$ – genau zwei Formen, kein Überlapp.

Modulo $m$ genügen genau die $m$ Standardreste – eine endliche, vollständige Tabelle.

O. B. d. A. braucht eine Abbildung: Der ausgelassene Fall muss durch Vertauschen oder Spiegeln auf den behandelten übergehen.

Achtung: Bei $x<0$ und $x>0$ fehlt $x=0$ – Ränder gehören zu einem Fall.