>>493
三平方の定理