Dodal dokaz zadnje leme.
Dodal posledico - vsak nil ideal je kvazi regularen.