Lasker–Noether theorem

GPTKB entity