>>509
質問を勝手に読み替えて「AB<CD,CD<EFならばAB<EFである。これを証明せよ。」にするわ

え?ただの三段論法じゃん 適当に長さの違う3本の線引けよ