Assumptions: disjoint finite coproducts
Conclusions: finite coproducts
Reason: This holds by definition.