アルキメデスの二つの原理やパスカルの原理をいつまでも立証に等しい