それ代数関係で示してんじゃないんか?