Dear Mods ,
before deleting this page, please let me know if there any improvements possible in order to keep this lemma.