Principal ideal が何で「単項イデアル」になるんだ?