Implication Details

Assumptions: finite powers

Conclusions: binary powers

Reason: This is trivial.