Implication Details

Assumptions: products

Conclusions: countable products, finite products

Reason: This is trivial.