Implication Details

Assumptions: disjoint coproducts

Conclusions: coproducts, disjoint finite coproducts

This is an equivalence.

Reason: This is easy.