Theorem Of Sequence Defined By A Function