Usando las ecuaciones de las rectas y de las circunferencias, puede demostrarse que los puntos en los que se intersecan yacen en una extensión cuadrática del cuerpo más pequeño, "F", que contenga dos puntos en la recta, el centro del círculo, y el radio del círculo.