xが、ある実数kに対して[1]の実数解である
⇔xが[1]の実数解であるようなkが存在する
⇔xに対して、[1]の実数解kが存在する
⇔xに対して、[3]の実数解kが存在する
⇔-3 ≦ x ≦ 5