CatDat

Implication Details

Assumptions: products

Conclusions: powers

Reason: This is trivial.