A useful limit theorem in probability theory is obtained by generalizing the lemma in reference [1]. The main result in the reference is improved with a great reduction of its proof procedure, and a probabilistic metric space is proposed that finds important applications in probabilistically differential equation theory. A application of the extension theorem of random linear function is introduced and a theorem of local existence of solutions of probabilistically differential equations is founded.