theorem Th62: :: MEASUR12:62

for A being Interval holds pre-Meas * <*A*> = <*(pre-Meas . A)*>