Si hay enteros $a,b,c$ tales que $a^2+b^2+c^2-ab-bc-ca$ es divisible por un primo $p$ tal que $\text{gcd}(p,\frac{a^2+b^2+c^2-ab-bc-ca}{p})=1$, entonces prueba que hay enteros $x,y,z$ tales que $p=x^2+y^2+z^2-xy-yz-zx$.