George Andrews' Theorem 2.1 in his paper published in J. Amer. Math. Soc. v. 3 (1990), 653-669 (on p. 657) is: true This took , 0.123, seconds.