Proof of the theorem is now separated from the proof of lemma by a special heading