Induction proofs' mock exam (Paper 1)