Claim: If a category is thin, then it has binary powers.
Proof: This is because X×X=XX \times X = XX×X=X.