  In this work we present a novel proof of the Saalschutz formula by using the
theory of discrete fractional calculus. The proofs of some results within this
theory, namely, the fractional power rule and the fractional Leibniz rule are
revisited.
