theorem :: ANPROJ_8:34

for p, q, r being Point of (TOP-REAL 3)
for M being Matrix of 3,F_Real st M = <*<*(p `1),(q `1),(r `1)*>,<*(p `2),(q `2),(r `2)*>,<*(p `3),(q `3),(r `3)*>*> holds
|{p,q,r}| = Det M