- â\88\80f,L1,T. L1 â\8a¢ ð\9d\90\85+â\9dªTâ\9d« ≘ f →
- â\88\80L2. L1 â\89\9b[S,T] L2 â\86\92 L2 â\8a¢ ð\9d\90\85+â\9dªTâ\9d« ≘ f.
+ â\88\80f,L1,T. L1 â\8a¢ ð\9d\90\85+â\9d¨Tâ\9d© ≘ f →
+ â\88\80L2. L1 â\89\9b[S,T] L2 â\86\92 L2 â\8a¢ ð\9d\90\85+â\9d¨Tâ\9d© ≘ f.