A-B and A/B are both even integers.
from A/B - (A-even and B - odd) or (A=2^n*even, B - even)
from A-B - (A-even and B - even) or (A - odd, B - odd)
only (A=2^n*even, B - even) - (A=2^k*X, B=2^m*Y; m>0, k>m)
walker, i had the same approach as you , except i didnt break up the expression into A/2 + 1, and this was the logic:
(A+2)/2 = (even + even) / even = even
Why doesnt that work ?