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.