Es ist beschränkt, und der Rand von ist eine Lebesguesche Nullmenge, also ist meßbar. Zudem ist eine stetige Funktion auf , also auch integrierbar über . Wir bilden den -Schnitt