Theorem

If the sizes of the matrices are such that the stated operations can be performed, then