theorem Th8: :: ARYTM_0:8

for a, b being Element of REAL holds not (0,1) --> (a,b) in REAL