read GEA: print(`George Andrews' Theorem 2.1 in his paper published in `): print(` J. Amer. Math. Soc. v. 3 (1990), 653-669 (on p. 657) is: `): print(ProveAndrews21()); print(`This took `, time(), `seconds. `): quit: