Esto es suficiente para mostrar que cualquier $ K $ contendría $ \gamma^3 $. Para probar esto, tenga en cuenta que los conjugados de la $ \gamma $$ \mathbf Q $, y así a lo largo del $ K $ son todos de la forma $ \zeta^k \gamma $ $ \zeta $ una primitiva novena de la raíz de la unidad. El campo de norma $ N_{L/K} $, a continuación, envía a $ \gamma $ $ \zeta^k \gamma^3 $para un cierto valor de $ k $ ($ \gamma $ tiene tres distintas $ K $-conjugados, y la norma es el producto de los conjugados). Desde $ K $ es un auténtico campo, este valor de $ k $ sólo puede ser un múltiplo de $ 9 $; ya que todos los otros poderes de la $ \zeta $ tienen distinto de cero imaginaria. Por lo tanto, $ N_{L/K}(\gamma) = \gamma^3 $, y dado que la norma mapa es un mapa de $ L \to K $, se deduce que el $ \gamma^3 \in K $.