Improve a lemma from qs to s
Ample on reduction is ample; Noetherian case
Ample on reduction is ample