Demonstrations of some generating functions