Generating function proofs of identities and congruences

Full text