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