>>822
三平方の定理。