a=7 supra 5x
b=2x+3y supra 3x+1
c=3x+ 1 supra 7
d=25 supra x^2+4+2y^2+1
daca d apartine N(este nr natural)=> x^2+2y^2+5 apartine Multimii divizorilor lui 25=> x^2+2y^2<sau egal cu 20 I daca e egal: x=2, y=2
daca x^2+2y^2 = 5=> x=1, y=1
e imposilil ca x^2+2y^2=1
deci x,y apartin {1,2}, x si y sunt egale
dupa care ii inlocuiesti pe x si y in ecuatie si asa vezi daca a,b,c,d sunt nr. naturale sau nu.
