A proof of Andrews’ q-Dyson conjecture

Let (y)a=(1-y)(1-qy)⋯(1-qa-1y)(y)a=(1-y)(1-qy)⋯(1-qa-1y). We prove that the constant term of the Laurent polynomial ∏1⩽i