>>670
Riesz–Markov–Kakutaniの定理