Generating function proofs of identities and congruences