theorem :: ANPROJ10:59

for V being RealLinearSpace
for P, Q, R, S being Element of V holds cross-ratio (P,Q,S,R) = 1 / (cross-ratio (P,Q,R,S)) by XCMPLX_1:57;