>>717
三平方の定理の逆