theorem Th24: :: ANPROJ_8:29

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