Matrix multiplication proof 2