theorem :: XREAL_1:148

for a being Real st - 1 < a holds
0 < 1 + a