theorem Th33:
  MeasurableRectangle(ProductRightOpenIntervals(n)) is Semiring of REAL n
  proof
    MeasurableRectangle(ProductRightOpenIntervals(n)) is Semiring of
      product ProductREAL(n) by SRINGS_4:40;
    hence thesis by Th7;
  end;
