>>794
Lebesgue可測集合の測度がBorel集合でいくらでも近似できるという定理なかったっけ?