Infinitesimal prolongation theorem is extended from sequences to nets based on κ-saturated nonstandard model. As its an application, a main property about topology of uniform convergence is proved. The proof is much simpler than it was, meanwhile the nonstandard characteristics of convergence with respect to u.c. topology is given.
