Methodenketten und Beweiswerkstatt

Doppelzählung, Extremalwahl, Invarianten und Schubfachklassifikation zu vollständig auditierten Olympiadebeweisen verbinden.