-lemma cnx_inv_lref_pair: â\88\80h,I,G,L,K,V,i. â¬\87*[i] L â\89\98 K.â\93\91{I}V â\86\92 â¦\83G, Lâ¦\84 â\8a¢ â¬\88[h] ð\9d\90\8dâ¦\83#iâ¦\84 → ⊥.
+lemma cnx_inv_lref_pair: â\88\80h,I,G,L,K,V,i. â\87©*[i] L â\89\98 K.â\93\91[I]V â\86\92 â\9dªG,Lâ\9d« â\8a¢ â¬\88[h] ð\9d\90\8dâ\9dª#iâ\9d« → ⊥.