theorem Th50: :: SPRECT_1:50

for S being Subset of (TOP-REAL 2)
for C1, C2 being non empty compact Subset of (TOP-REAL 2) st S = C1 \/ C2 holds
E-bound S = max ((E-bound C1),(E-bound C2))