Noether's normalization lemma