Harmonogram
Dokažme, že harmonogram funguje. Důkaz sporem, pokud by nefungoval, tato stránka by se nenačetla. QED