Zeilberger's KOH theorem and the strict unimodality of q-binomial coefficients - Fabrizio Zanello (2013)