\(\vert a-c \vert \leq d\) または \(\vert a-b \vert \leq d \land \vert b-c \vert \leq d\) を確認する.