Una recta conmensurable con una recta menor es menor.