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