Finite Form of the Quintuple Product Identity
  The celebrated quintuple product identity follows surprisingly from an almost-trivial algebraic identity, which is the limiting case of the terminating q-Dixon formula. 
William Y. C. Chen, Wenchang Chu, Nancy S. S. Gu