proofs for appendix finished (square, multiplication matrix)