>>537へのレスは間違ってたことに気づきました、申し訳ありません。
-a+1は３より大きいから右端の-a+1が３を含んではいけないですね。