Dodal dokaz zadnje leme