Text this: An Inductive Theorem on the Correctness of General Recursive Programs