Popravil dokaz prve leme o polmeru pri prereznih vozliščih.