Proof of Sun's conjecture on the divisibility of certain binomial sums (Q396941)

Summary: In this paper, we prove the following result conjectured by \textit{Z.-W. Sun} [``Some new series for \(1/pi \) and related congruences'', preprint, \url{arXiv:1104.3856}]: \[ (2n-1){3n\choose n}|<br />\sum_{k=0}^{n}{6k\choose 3k}{3k\choose k}{6(n-k)\choose 3(n-k)}{3(n-k)\choose n-k} \] by showing that the left-hand side divides each summand on the right-hand side.