>>846
一様連続の定義より自明