Solve(1 = a + b AND a > b AND b > 0, a, b)