Matrix multiplication proof 1