Another Fact

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