Exponentiation procedure that generates iterative process