Drobne upravy
Zpřehledňování kódu
Opraveny věty bez důkazu
Oprava