Multiplying 2×2 matrices · Proofwise