We must now show that the concepts of Euclidean and Projective Cross Ratios are
equivalent. We do this by showing that if the Euclidean Plane is embedded in the Real
Projective Plane and four collinear projective points correspond to four collinear ordinary
points, then the Projective Cross Ratio and Euclidean Cross ratio are equal