Mathematical English Usage - a Dictionary

by Jerzy Trzeciak

extract

We extract the following from the proof of Lemma 5 of [KL].