- â\88\80b,f,K1. ð\9d\90\94â¦\83fâ¦\84 â\86\92 â¬\87*[b,f] L1 ≘ K1 →
- â\88\83â\88\83K2. G â\8a¢ K1 â«\83![h,a] K2 & â¬\87*[b,f] L2 ≘ K2.
+ â\88\80b,f,K1. ð\9d\90\94â\9dªfâ\9d« â\86\92 â\87©*[b,f] L1 ≘ K1 →
+ â\88\83â\88\83K2. G â\8a¢ K1 â«\83![h,a] K2 & â\87©*[b,f] L2 ≘ K2.