Writing repeatedly-square

To write repeatedly-square iteratively, make use of the following fact:

2 squared n times:
          n times
       ------------
   (((22)2)2 ... )2
= 22 squared n-1 times:
          n-1 times
         ----------
   (((22)2)2 ... )2
[F]