Walks through successor, addition, and multiplication over Church numerals with a step-by-step derivation trace.

Created for UTK COSC312 Algorithm Analysis and Automata.