theorem Th2: :: FDIFF_12:2

for I being Interval holds
( ].(inf I),(sup I).[ is open Subset of REAL & ].(inf I),(sup I).[ c= I )