i < N



**

T(i)>T(i+1)







T( ) T(+1)



*



M = true



.7.1. 蠠 '

T' T', . , T', i 1 , T '( i) T '(i 1).

:

$ i , 蠠 i < N T' ( i) < T' ( i + 1).

, , , () nd T':

"i, i < N T' (i) < T' (i+ 1).