Source: wikibot/principal-ideal-theorem

= Principal ideal theorem
{wiki=Principal_ideal_theorem}