16.7.16.
xRy
xRy ∙ yRz
xRy ∙ yRz ∙ zRu
– – – – – – – –
       – – ξ ∙ ξRη

     ∙ ξRη (– – Rξ)