Létezik-e olyan f:Q→{-1,1} függvény, amelyre f(x)=-f(y), valahányszor x és y különböző racionális számok, és xy=1 vagy x+y∈{0,1}?