Do hloubky procvičené techniky matematických důkazů z přednášky, mimo matematické indukce, která bude mít samostatné cvičení navíc.