因数2m+1のくだりは証明に影響しないんじゃなかったの?