Finally, the bicolinearity of \(\ell \)  implies that the formula \(s(p):= p_{(0)}\ell (p_{(1)})\)  defines a left \(B\) -linear
right \(H\) -colinear splitting
of the multiplication map \(B\otimes P\rightarrow P\) . The reverse implication (principality \(\Rightarrow \)  existence of a bicolinear \(\ell \)  with the splitting property)
follows from [1]}.
