Schubfach, Invarianten und Extremalprinzip

Existenz und Unmöglichkeit beweisen, indem wenige Klassen Kollisionen erzwingen, Zählgrößen invariant bleiben oder ein Extremobjekt die Struktur sichtbar macht.