Una recta conmensurable con una recta mayor es también mayor.