Doplněny důkazy z poslední přednášky