设a、b为两个正整数,整数x0、y0满足a*x0+b*y0=gcd(a,b),即x0、y0是(a,b)欧几里得扩展式的一组解。对于以下关于求解满足a*x+b*y =gcd(a,b),x、y通解的描述,请选择正确的选项,k为整数()。
A.x =x0-(b)*k,y =y0+a*k
B.x =x0-(a/gcd(a,b))*k,y =y0+(b/gcd(a,b))*k
C.x =x0-a*k,y =y0+b*k
D.x =x0-(b/gcd(a,b))*k,y =y0+(a/gcd(a,b))*k