ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3525 on R3611:

P3525

This result is a particular case of R2788: Real binomial theorem. $\square$