Probar que el conjunto de los enteros positivos no puede ser particionado en tres subconjuntos no vacíos tales que, para cualquier par de enteros $x,y$ tomados de dos subconjuntos diferentes, el número $x^2-xy+y^2$ pertenece al tercer subconjunto.