Pojmenovány věty a přidány elementární řezy k tokům.