16.8.14.
aRb . aRc . bSc = aR [bSc] Def
ζTη