IRen, Church 1936, finish the kleene p function's proof