Recursion versus tail recursion over F¯p

Underlying these results is the “meta-result” that we can perform a limited amount of arithmetic inside the field itself, with no access to a separate sort of natural numbers.