Prove that {ax+by | x,y є ℤ} = {n*gcd(a,b) | n є ℤ} . I'm not exactly sure how to write this proof and would like some help. Thank you!