Recursive Sequence and Proofs