theorem Th52: :: BORSUK_5:53

for A, B being Subset of R^1
for b being Real st A = ].-infty,b.[ & B = ].b,+infty.[ holds
A,B are_separated