Implication Details

Assumptions: finite products, strongly connected

Conclusions: disjoint finite products

Reason: See MSE/5130190 for a proof.