なんでドモアブルの定理は使っちゃだめだったんだろうな。
まぁ、ドモアブルの定理の証明に帰納的に加法定理使うからだと信じたいが。