Category:Successor Mapping on Natural Numbers is Progressing