有限加法的測度
↑ Yosida & Hewitt 1952, p. 52, theorem 1.23.