"d" の他の元は、非単元と呼ばれるが、逆元をもたず、イデアル "m" をなす。