за всяко не-нула a и b, които удовлетворяват  ab  ab и  a   a  b - 4  +  ab - b  ?
ab  ab и  a   - a  > b също е отрицателно . така че  b - 4  +  ab - b   ( b - 4 ) + ab - b (като ab е положително и - b е положително , така че изразът е напълно положителен )  b - 4 + ab - b  ab - 4 - отговор
subtract(subtract(const_1, const_1), 4)