vrcholove pokryti, parovani, Konig-Egervary veta bez dukazu
projektivni rovina, dukaz kazda primka ma rovnaky pocet bodu
Ramsey nekonecna verze bez dukazu
n! odhad dukaz
