Is there a name for the decomposition of $m^1w^1-m^0w^0$ into $(m^1-m^0)w^0+(w^1-w^0)m^0+(m^1-m^0)(w^1-w^0)$?

Question

In the following, what is this kind of decomposition / factoring called? I'd like to read the proof for it or learn more:

$$m^1w^1-m^0w^0=(m^1-m^0)w^0+(w^1-w^0)m^0+(m^1-m^0)(w^1-w^0)$$

It doesn't appear to be a factoring of a trinomial, so I'm a bit lost.

Answer 1

I am not sure it has a name, but intuitively it is

• on the left hand side the big rectangle minus the green rectangle
• on the right hand side the sum of the three pink rectangles