footnote not needed
rename theorem to lemma
make paper clearer