整域で、素元が素元を割り切るならば単元倍