How to prove: for 2 real coefficent polynomials f(x), g(x), there exist HCF which is in form a(x)f(x)+b(x)g(x), for some real coefficent poltnomials a(x),b(x)