[x*y*(x-3)=0,x^2=9^2-y^2,(x-3)^2=7^2-y^2]