また、formula_4をformula_5の元であり、位数がformula_3である値とする。