アルキメデスの原理って背理法使わなくても
証明できる?