Copia_Euclid_Proof_Rollinson