Mathematica: нахождение условий, при которых действительная часть комплексного числа будет положительной, неожиданный / избыточный вывод Reduce

Мне нужно найти условия, при которых действительная часть комплексного числа будет отрицательной. Я думал, что для этого идеально подойдет Reduce, но он дает избыточный вывод (даже после упрощения). Например:

In[543]: Reduce[{Re[-1 - Sqrt[a - b] ] < 0, a > 0, b > 0}, {a, b}, Complexes]
Out[543]: a > 0 && (0 < b < a || b >= a)  

Поскольку a и b предполагаются действительными, потому что они фигурируют в неравенстве, нет необходимости делать дополнительные предположения о связи между a и b, я ожидаю следующий результат:

Out[543]: a > 0 && b > 0  

есть ли хороший почему то не получается? (На мой взгляд) избыточные результаты накапливаются для более сложных выражений, и мне нужно уменьшить довольно много из них. Есть ли уловка, чтобы получить ожидаемый результат? Я поигрался с выбором Reals в качестве домена и вообще без домена, но на самом деле ничего не дает мне того, что я хочу. Между прочим, я анализирую устойчивость неподвижных точек, проверяя собственные значения ... очень распространенная задача.