Transfinite Recursion Theorem