binomial coefficient; integers; identity; induction proof; generalization; harmonic numbers