Negated Upper Index of Binomial Coefficient/Corollary 1/Proof 2