Nenne mal die Vereinigungmenge C.
Da A und B beschränkt und nicht leer, ist C dies auch und hat also jedenfalls ein Supremum.
Da A und B jeweils Teilmengen von C sind, gilt sup(C)>=sup(A) und sup(C)>=sup(B)
Damit auch sup(C) >= maximum der Suprema.
Dann muss nur noch ausgeschlossen werden, das sup(C) größer als das Maximum der
Suprema von A und B ist.
Nehmen wir an, dass sei so. Und nennen wir das Maximum der Suprema m.
Dann gäbe es ein x aus C, welches größer als m ist.
Dieses x ist also sowohl größer als sup(A) als auch größer als sup(B).
Das x ist aus C, muss also entweder in A oder in B sein.
Damit wäre in A oder in B ein Element, welches größer als das Sup.
der entsprechenden Menge ist. Widerspruch