Proofs by maths induction, finished.