┌───┬───┐     ┌──────┬───────┐   ┌────────┬─────────┐
│ A │ B │     │  L0  │   0   │   │  +⍉L0  │+⍉ T x L0│
├───┼───┤  =  ├──────┼───────┤ x ├────────┼─────────┤
│+⍉B│ C │     │T x L0│   L1  │   │    0   │   +⍉L1  │
└───┴───┘     └──────┴───────┘   └────────┴─────────┘


(a)   A     = L0 x +⍉L0