Lasker-Noether Theorem