definice vrcholového řezu
znění a důkaz ušatého lemmatu
suma z [(-1)^k] * (n nad k)^2 pro k = 0..n
náhradní: odhad kombinačních čísel