https://numbas.mathcentre.ac.uk/question/41827/strong-induction.zip?