This is erroneous. Suppose the sum were 102. Then it could possibly be the case that {a, b} = {5, 97}, both primes, in which case their product could only be factored in one legitimate way. Thus, if Ms sees the sum 102, they cannot be confident that the product of the two unknown numbers can be factored more than one way, even though 102 is greater than 101.
My presumption is that the sum HAS to be odd, simply on the grounds that otherwise Ms couldn’t have derived any useful information from it. Is that an error on my part?
Grr, this meta-logic of “what is has to be based on their certainty” is making my head spin.