Beweislücken in Methodenketten

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