>>558
a≦1≦a+2 を 「a≦1 かつ 1≦a+2」と分ける