Cada ideal de formula_40 es principal.