が["a", "b"]上一様にある函数 "g" に収束し、有界変動を伴い連続であるという事実に基づく。