\(A \leq C \land C \leq B\) を確認する.