三平方の定理の立体版はないんですか?