[0021] Theorem 1·k (Composition rules).

Using Definition 1·b [001M], exact squares can be composed horizontally or vertically