theorem Th49: :: SPRECT_1:49

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
N-bound S = max ((N-bound C1),(N-bound C2))