Source: https://math.la.asu.edu/~boerner/mat243/5.3%20Recursive%20Definitions%20and%20Structural%20Induction%20(expanded).pdf