formula_32, así que formula_33 es una raíz cuadrada de 2 módulo formula_34.