I am familiar with the standard proof that the binomial coefficient is an integer based on induction and Pascal's Rule.

I'm trying to prove that a related expression is an integer:

Using an adaptation of Pascal's Rule, we can see that and , but these equalities don't lead to an inductive proof.