improve lemma by showing converse, which was used later without proof