题目短小精悍，耗了我 $2^{-1}$ 个小时：

对于一个素数 $p$，$x^2+y^2=p$ 有整数解当且仅当 $p=2$ 或 $p\equiv 1(\!\!\!\!\mod 4)$。