IFMO Math Logic Home Task 3