extracted lemma about last quotient