定理4.2.の「mがΩ_Nの上で完全加法的⇔f_μがすべて右連続」
っていうのは左連続でもよさげなんだがダメなの？
もしくは区間のとりかた--- (a,b] or [a,b) ---に依存するのかな？