INF205/lab_1/7-proof.pdf