theorem :: XREAL_1:198

for a, b being Real st 0 < b & - a < b holds
- 1 < a / b