- | â\88\83â\88\83I,L1,L2,V1,V2. â\9dªG,L1â\9d« â\8a¢ â¬\88[V1] L2 & â\9dªG,L1â\9d« ⊢ V1 ⬈ V2 & Y1 = L1.ⓑ[I]V1 & Y2 = L2.ⓑ[I]V2
+ | â\88\83â\88\83I,L1,L2,V1,V2. â\9d¨G,L1â\9d© â\8a¢ â¬\88[V1] L2 & â\9d¨G,L1â\9d© ⊢ V1 ⬈ V2 & Y1 = L1.ⓑ[I]V1 & Y2 = L2.ⓑ[I]V2