Re:>>948 閉区間の連続函数は Riemann 積分可能である.