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