theorem :: MEASURE6:61

Cl ([#] REAL) = REAL by Th59;