- â\88\80p,I,V,T. â\9dªG,Lâ\9d« ⊢ ⬈*𝐒 ⓑ[p,I]V.T →
- â\88§â\88§ â\9dªG,Lâ\9d« â\8a¢ â¬\88*ð\9d\90\92 V & â\9dªG,L.â\93\91[I]Vâ\9d« ⊢ ⬈*𝐒 T.
+ â\88\80p,I,V,T. â\9d¨G,Lâ\9d© ⊢ ⬈*𝐒 ⓑ[p,I]V.T →
+ â\88§â\88§ â\9d¨G,Lâ\9d© â\8a¢ â¬\88*ð\9d\90\92 V & â\9d¨G,L.â\93\91[I]Vâ\9d© ⊢ ⬈*𝐒 T.