theorem Th8: :: TOPALG_2:8

for T being non empty interval SubSpace of R^1
for a, b being Point of T holds [.a,b.] c= the carrier of T