Theorem 2. Two -matrices and of the same size are equivalent if and only if there are two invertible -matrices and such that.The reason is that every elementary operation corresponds to a multiplication on the left side or the right side of by an elementary -matrix and any nonsingular -matrices can be expressed as a product of elementary -matrices.