Prove that for any prime \(p\) there exist \(a\) and \(b\) in \(\mathbb{Z}/p\mathbb{Z}\) such that \(a^2+b^2 \equiv -1\) modulo \(p\).