-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ð\9d\90\8d[h] â\93\9b[p]V.T →
+ â\88§â\88§ â\9dªG,Lâ\9d« â\8a¢ â¬\88ð\9d\90\8d[h] V & â\9dªG,L.â\93\9bVâ\9d« â\8a¢ â¬\88ð\9d\90\8d[h] T.