Cuando hacemos isomorfas nuestras paralelas euclídeas con las rectas proyectivas que se cortan “en el infinito”, podemos extrapolar todo lo que demostremos en proyectiva a geometría euclidiana.