ここで、formula_43はformula_44によって生成された主イデアルである。