- â\88\80K0,V0. â¬\87*[i] L0 ≘ K0.ⓓV0 →
- â\88\80V1. â¦\83G0,K0â¦\84 â\8a¢ V0 â\9e¡[h] V1 â\86\92 â\88\80T1. â¬\86*[↑i] V1 ≘ T1 →
- â\88\80KX,VX. â¬\87*[i] L0 ≘ KX.ⓓVX →
- â\88\80V2. â¦\83G0,KXâ¦\84 â\8a¢ VX â\9e¡[h] V2 â\86\92 â\88\80T2. â¬\86*[↑i] V2 ≘ T2 →
+ â\88\80K0,V0. â\87©*[i] L0 ≘ K0.ⓓV0 →
+ â\88\80V1. â¦\83G0,K0â¦\84 â\8a¢ V0 â\9e¡[h] V1 â\86\92 â\88\80T1. â\87§*[↑i] V1 ≘ T1 →
+ â\88\80KX,VX. â\87©*[i] L0 ≘ KX.ⓓVX →
+ â\88\80V2. â¦\83G0,KXâ¦\84 â\8a¢ VX â\9e¡[h] V2 â\86\92 â\88\80T2. â\87§*[↑i] V2 ≘ T2 →