Kleene normal form theorem

Redirect to:

• Kleene's T predicate#Normal form theorem