Neka su m i n elementi danog skupa, tj. neka vrijedi
m=a2−5b2,n=c2−5d2,
pri čemu su a,b,c,d prirodni brojevi. Tada je
m⋅n=(a2−5b2)(c2−5d2)=a2c2−5b2c2−5a2d2+25b2d2=a2c2+25b2d2+10abcd−5b2c2−5a2d2−10abcd=(a2c2+10ac⋅bd+25b2d2)−5(b2c2+2bc⋅ad+a2d2)=(ac+5bd)2−5(bc+ad)2.
Kako su a,b,c,d prirodni brojevi, brojevi ac+5bd i bc+ad su također prirodni. Dakle, m⋅n je element danog skupa.
Napomena. Vrijedi i
(a2−5b2)(c2−5d2)=(ac−5bd)2−5(bc−ad)2.
Učeniku koji napiše takvu jednakost treba dati 7 bodova ili 8 bodova ovisno o tome je li objasnio da se može postići da je broj u zagradi nenegativan.
Dva boda se gube ako ostane mogućnost da je u nekoj zagradi broj jednak nuli.