theorem Th41: :: MEASUR14:41

( Prod_Field (L-Field 1) = L-Field & Borel_Sets c= Prod_Field (L-Field 1) & ( for I being Subset of REAL st I is Interval holds
I in Prod_Field (L-Field 1) ) )