Smn Theorem and Stephen Cole Kleene