T. H." y : Gu, Hk U {(ye, V.Z. Gj)} succeeds; thus by definition of the step (k+1), we have Tk 11 F" yell: Gl, Hi-1 succeeds for some Gi and we are done ...
確定! 回上一頁