gpm:integerArithmetic
A - B;0 < B < A;10 < A < 20;