Definition:Integer Power