请问这两个式子是怎么推出来的？
gcd(xa1,a0a1)=1 ⟺ gcd(x,a0)=a1gcd(\frac{x}{a_1},\frac{a_0}{a_1})=1\iff gcd(x,a_0)=a_1gcd(a1x,a1a0)=1⟺gcd(x,a0)=a1
gcd(b1b0,b1x)=1 ⟺ lcm(b0,x)=b1gcd(\frac{b_1}{b_0},\frac{b_1}{x})=1\iff lcm(b_0,x)=b_1gcd(b0b1,xb1)=1⟺lcm(b0,x)=b1
