има 25 топки, които са червени, сини или зелени. ако 8 топки са сини и сумата от зелени топки и сини топки е по-малка от 17, най-много колко зелени топки има?
"r + g + b  25 b  8 b + g  17  > 8 + g  17  > g  9  > най-много 8 зелени топки отговарят : a"
subtract(8, const_1)