>>175
Mが有限生成なら、A の元が M に関して概べき零であることと、
べき零であることは同値である。