23: Core Pure - Proof by Induction: Sequences