>>785の説明だとUBmは無限和でも問題ないことになる