[see also: decompose
Moreover, M splits as K× L.
Now (1) splits into the pair of equations......
The proof conveniently splits into two cases.
We shall split up K as follows.