これを先生にきいたらa＜bが成り立つ保証はないから、a＜bから初めてはだめって言われたんですが、a＜b(が成り立つとして)示ってことじゃないんですか？