Si formula_40 es un entero algebraico que es un número racional, se tiene que es un entero ordinario (o sea un elemento de formula_12).