Implication Details

Assumptions: countable products

Conclusions: finite products

Reason: This is trivial.