This was original identified and named by Pothier as “composition of factors” but because Confrey et al.
(2009) use it to introduce multiplication rather than to build it in light of knowledge of factors, it was
renamed to be derived from knowledge of splitting.