Kegel/Über messbarer Basis/Maßformel/Fakt

Es sei messbar, ein Punkt und der zugehörige Kegel. Es sei die letzte Koordinate von .

Dann ist ebenfalls messbar, und es gilt