File:Inductive proofs of properties of add, mult from recursive definitions.pdf Source: en.wikipedia.org/wiki/File:Inductive_proofs_of_properties_of_add,_mult_from_recursive_definitions.pdf