7 marks in mathematical induction