 This conjecture reduces to Dyson's conjecture for "q"=1, and was proved by , using a combinatorial approach inspired by
previous work of Ira Gessel and Dominique Foata.A shorter proof, using formal Laurent series, was given in 2004 by Ira Gessel and Guoce Xin, and
an even shorter proof, using a quantitative form, due to Karasev and Petrov, and independently to Lason, of Noga Alon's Combinatorial Nullstellensatz,
was given in 2012 by Gyula Karolyi and Zoltan Lorant Nagy.The latter method was extended, in 2013, by Shalosh B. Ekhad and Doron Zeilberger to derive explicit expressions of any specific coefficient, not just the
constant term, see http