Cardinality of Set Union/3 Sets

Theorem
Let $S_1$, $S_2$ and $S_3$ be finite sets.

Then:

Proof
This is a specific example of Cardinality of Set Union: General Case.