Greatest common divisor and Euclidean algorithm in F[x]. Irreducible polynomials.