noether-lasker theorem