(sqrt(3^(log_sqrt(3)(17))))^2 = 17^2