Added proof for ~ volmeas
Added proof for ~ volmeas

This proves that the Lebesgue measure defined by Mario is indeed a
measure in the sense of measure theory, thus adding a link between the
two.

metamath/set.mm,metamath/set.mm,metamath/set.mm