Lasker%E2%80%93Noether theorem