Thanks Dodo. I have written the proof.
Let P(n) : "n is a form of ax+by, gcd(a,b)=1, a,b are positive integers, x,y are non negative integers"
Clam 1: If P(n1) and P(n2) is true, then P(n1+n2) is also true.
(since n1=ax1+by1, n2=ax2+by2, then (n1+n2)=a(x1+x2)+b(y1+y2)
x1+x2>=0,y1+y2>=0)...