2 ^ (n ^ 2) != 2 ^ (2 ^ n)