Proves Rivoal's 'denominator conjecture' concerning the common denominators of coefficients of certain linear forms in zeta values; these forms were constructed to obtain lower bounds for the dimension of the vector space over $mathbb Q$ spanned by $1,zeta