Implication Details

Assumptions: countable products

Conclusions: countable powers

Reason: This is trivial.