nonynalme'a lujvo

x1 is greater or equal to zero by amount x2; x1 is a positive number (greater than zero)