theorem Th35: :: COUSIN:40

for a, b being Real
for Iab being non empty closed_interval Subset of REAL st Iab = [.a,b.] holds
<*b*> is Division of Iab