>>474のMasonの定理のstatementめちゃくちゃだな