24: Core Pure - Proof by Induction: Matrices