 -x\le -3 \quad\land\quad x\le 7 \Longleftrightarrow\\ 3\le x\quad \land\quad x\le 7\Longleftrightarrow\\ 3\le x\le 7