formula_4をformula_5である素イデアルであるとし、 "n"とformula_4は互いに素(すなわちformula_7)。