実係数多項式f(x)とg(x)が互いに素であったら
A(x)f(x)+g(x)B(x)=1となる実係数の多項式A(x)、B(x)が存在することを示せ