theorem Th37: :: MEASUR14:37

( CarProduct ((Seg 1) --> REAL) = REAL & ElmFin (((Seg 1) --> REAL),1) = REAL & CarProduct ((Seg 2) --> REAL) = [:REAL,REAL:] & ElmFin (((Seg 2) --> REAL),2) = REAL & CarProduct ((Seg 3) --> REAL) = [:REAL,REAL,REAL:] )