theorem Th01: :: PASCAL:1

for p, q, r being Point of (TOP-REAL 3) holds
( |{p,q,r}| = |{r,p,q}| & |{p,q,r}| = |{q,r,p}| )