Function/R/Taking powers/Injective and surjective/Exercise