Implication Details

Assumptions: thin

Conclusions: binary powers

Reason: This is because X×X=XX \times X = X.