Prove more matrix multiplication facts using the new reformulation