theorem :: XREAL_1:197

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