add the theorem of mahler lech and polya

[ericung]

common result from thinking about recursion in a language

[ericung]

this would actually need to be in a different section.