Natural numbers/Taking powers/Neither commutative nor associative/Exercise