theorem Th36: :: ANPROJ10:67

for V being RealLinearSpace
for P, Q, R, S being Element of V
for x being Tuple of 4, the carrier of V st x = <*P,Q,R,S*> holds
cross-ratio (P,Q,R,S) = cross-ratio-tuple x