Legyenek a és b egész számok. Mutassuk meg, hogy ha a és b relatív prímek, akkor a2+2b2 minden prím osztója felírható x2+2y2 alakban (x, y egészek).