Implication Details

Assumptions: finite products

Conclusions: finite powers

Reason: This is trivial.