added notation section which is still empty, added lemma and started proof for it