There exist live states s , s'EL ( B ) and a node wЄT such that r ( w ) = s and s'r ( wT - { w } ) . ... Hence wTT ( B ' ) and TET ( B ' ) .
確定! 回上一頁