for I being non empty closed_interval Subset of REAL st not I is empty & I is trivial holds
vol I = 0