>>842
証明って三平方の定理をちょっと使う程度じゃないか