Binomial Coefficient is Integer/Proof 2

Proof
The result follows by Pascal's Rule and Integer Addition is Closed.