theorems on divergent sequence