Implication Details

Assumptions: countable powers

Conclusions: finite powers

Reason: This is trivial.