Solve problems 1.2.11 - 1.2.13, 1.2.15, 1.2.17.