На координатной прямой точка с большей координатой лежит … точки с меньшей координатой

На координатной прямой точка с большей координатой лежит правее точки с меньшей координатой.