Lemma. [007Y]

TODO. Cardinality of coproduct is sum of cardinality.