R_{16}(c,k) = \exists r \forall x \forall y [ (x=c \wedge y=r) \vee (x=r \wedge y=k ) ] \Rightarrow R_8(x,y)
R_8 , R_4 - analogicznie
R_2(s,t) = \exists r R(s,r) \wedge R(r,t)
3 * 3 kwantyfikatory na R16,R8 i R4 oraz 1 na R2 dają w sumie równe 10 kwantyfikatorów