theorem Th34: :: ISOMICHI:34

for A being Subset of R^1
for a, b, c being Real st A = ].-infty,a.] \/ [.b,c.] & a < b & b < c holds
Int A = ].-infty,a.[ \/ ].b,c.[