4 przemienność
«. («Afc)A<r-«A(*Ac) «. (ffVfr)Vc=<rV(/»Vc)
a «V(frAc)ss(flVi>)A(flVc) a AA(fcVc) = (flAfr)V(flAc)
L