((a,b)\rho (c,d))i ((c,d)\rho (a,b))
\Longrightarrow (a\leq c)i(b\leq d)i(c\leq a)i(d\leq b)
\Longrightarrow (a=c)i(b=d)
\Longrightarrow