2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/171244It is shown how Andrews' multidimensional extension of Watson's transformation between a very-well-poised $_8ϕ_7$-series and a balanced $_4ϕ_3$-series can be used to give a straightforward proof of a conjecture of Zudilin and the second author on the arithmetic behaviour of the coefficients of certain linear forms of 1 and Catalan's constant. This proof is considerably simpler and more stream-lined than the first proof, due to the second author.12 pages, AmS-LaTeXNumber TheoryClassical Analysis and ODEs11J72 (Primary); 11J82, 33C20 (Secondary)On a linear form for Catalan's constanttext