Before revision:  As a key component of the approach, an elimination lemma is proved that allows to handle the problem by reducing  to a problem with one unknown parameter eliminated together with a box constraint imposed on this parameter.
After revision:  As a key component of the approach, an elimination lemma is proved that allows to handle the problem by reducing to a problem with one parameter eliminated, together with a box constraint imposed on this parameter.