for A, B being non empty closed_interval Subset of REAL st A c= B holds
vol A <= vol B