sqrt(2)^sqrt(2)是先验的吗?