Dodal nekaj popravkov, še posebno popravljen dokaz leme 7.1