theorem Th10: :: SEQ_4:10

for r being Real holds lower_bound {r} = upper_bound {r}