theorem Th25: :: ANPROJ_8:30

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