I have been trying to get started on this simple combinatorics proof. This has led me to start a proof by induction using pascal's identity from https://en.wikipedia.org/wiki/Gaussian_binomial_coefficient#Analogs_of_Pascal's_identity. Not sure where to go from there
