中間値の定理を認めれば証明はできないことは無いかと