Lasker–Noether theorem