Dodal b točko dokaza
Dodal dokaz tretje točke leme