Implication Details

Assumptions: binary products

Conclusions: binary powers

Reason: This is trivial.