線分PQはいつでも直線x=s(sはある定数)と共有点を持つわけではない