Theorem

Let

Suppose sizes of and are such that the operations can be performed

Then