theorem :: MEASURE6:19

for A being non empty Interval st A is left_open_interval holds
A = ].(inf A),(sup A).]