Deje que %-%-% sea un subgrupo de rango 3 del plano euclidiano, es decir, %-%-%, donde %-%-% son tres vectores independientes linealmente de %-%.%. Deje que %-%-% denote el círculo de la unidad en el plano. ¿Es posible que %-%-%?
Observación: Podría encontrar subgrupos de rango 4 que intersecan %-%-% en infinitamente muchos puntos. La idea era tomar un entero algebraico complejo %-%-% de tal manera que %-%-% y %-%-% no es una raíz de unidad. A continuación, el grupo de aditivos generado por %-%-% tiene un rango finito.
