>順序同型だから
証明してみて できないと思うけど