>>318
rが偶数ですか?
qが偶数のような気がします

要は、2^(n-r)-1が割る数の倍数だという証明ですね