how to do proof by induction with matrices