Lasker-Noether theorem