Theorem
(1)
(2)
Proof:
Hence (1) is proved.
Hence (2) is proved.
We can extend to higher numbers and sets:
and