Dodal dokaz prve točke leme.