つまり主張は

Riemann可積分 ⇔ 連続でない点の(Lebesgue?)測度0

証明kwsk