- â\88\80p,G,L,W,T,A,B. â¦\83G, L, Wâ¦\84 ϵ[RP] ã\80\9aBã\80\9b → (
- â\88\80b,f,L0,V0,W0,T0. â¬\87*[b, f] L0 â\89\98 L â\86\92 â¬\86*[f] W â\89\98 W0 â\86\92 â¬\86*[⫯f] T ≘ T0 →
- â¦\83G, L0, V0â¦\84 ϵ[RP] ã\80\9aBã\80\9b â\86\92 â¦\83G, L0, W0â¦\84 ϵ[RP] ã\80\9aBã\80\9b â\86\92 â¦\83G, L0.â\93\93â\93\9dW0.V0, T0â¦\84 ϵ[RP] ã\80\9aAã\80\9b
+ â\88\80p,G,L,W,T,A,B. â\9dªG,L,Wâ\9d« ϵ â\9f¦Bâ\9f§[RP] → (
+ â\88\80b,f,L0,V0,W0,T0. â\87©*[b,f] L0 â\89\98 L â\86\92 â\87§*[f] W â\89\98 W0 â\86\92 â\87§*[⫯f] T ≘ T0 →
+ â\9dªG,L0,V0â\9d« ϵ â\9f¦Bâ\9f§[RP] â\86\92 â\9dªG,L0,W0â\9d« ϵ â\9f¦Bâ\9f§[RP] â\86\92 â\9dªG,L0.â\93\93â\93\9dW0.V0,T0â\9d« ϵ â\9f¦Aâ\9f§[RP]