(13^(√7))^√7 = 13^7