rearranged lemma, fixes #3