MA.AG.5.g: Verify two matrices are inverses using matrix multiplication.