====== JFiZO - Zadanie 09.133 ======

$ 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