https://123deta.com/document/y6el907n-三平方の定理の証明.html