ако x +  x  + y  7 и x +  y  - y  6 , тогава x + y
"ако x +  x y  7 и x + y  - y  6, x + y  6, x + y  така че x + y  така че x  така че x + y  така че x  така че x  така че x  така че x  така че x  6 е - ve и y е - ve заместващо в уравнението
multiply(6, const_2)