Each of these is an example of a binomial identity : an identity (i.e., equation) involving binomial coefficients.