单项选择题
设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