Prima tipologia canonica: la radice è al primo membro e deve essere minore di un’espressione senza radicale, . Poiché una radice è sempre , il secondo membro è costretto a essere non negativo: da qui nasce il sistema di tre condizioni che risolve questo caso.