Kolařík: Dnešní přednáška nebude náročná. Spočítal jsem důkazy a vyšlo mi nula, což není mnoho.