theorem Th11: :: INTEGRA4:11

for A being non empty closed_interval Subset of REAL ex T being DivSequence of A st
( delta T is convergent & lim (delta T) = 0 )