Implication Details

Assumptions: cartesian closed

Conclusions: finite products

Reason: This holds by definition.