theorem Th33: :: SRINGS_5:40

for n being non zero Nat holds MeasurableRectangle (ProductRightOpenIntervals n) is Semiring of (REAL n)