-lemma cnx_inv_abst: â\88\80h,p,G,L,V,T. â¦\83G,Lâ¦\84 â\8a¢ â¬\88[h] ð\9d\90\8dâ¦\83â\93\9b{p}V.Tâ¦\84 →
- â¦\83G,Lâ¦\84 â\8a¢ â¬\88[h] ð\9d\90\8dâ¦\83Vâ¦\84 â\88§ â¦\83G,L.â\93\9bVâ¦\84 â\8a¢ â¬\88[h] ð\9d\90\8dâ¦\83Tâ¦\84.
+lemma cnx_inv_abst: â\88\80h,p,G,L,V,T. â\9dªG,Lâ\9d« â\8a¢ â¬\88[h] ð\9d\90\8dâ\9dªâ\93\9b[p]V.Tâ\9d« →
+ â\9dªG,Lâ\9d« â\8a¢ â¬\88[h] ð\9d\90\8dâ\9dªVâ\9d« â\88§ â\9dªG,L.â\93\9bVâ\9d« â\8a¢ â¬\88[h] ð\9d\90\8dâ\9dªTâ\9d«.