どのような非負整数a,b,cに対しても、下記の方程式を満たす非負整数m,nが存在すると言えるか。
a(m+bn)-cn^2=1