Igazoljuk, hogy minden 4-nél nagyobb 2-hatvány előáll a2+7b2 alakban, ahol a és b pozitív páratlan számok.