Importing Euclidean length ratios into a projective proof smuggles in assumptions that are unavailab...