Foundations of the theory of probability

36 III.RandomVariables

SinceF(a') andF(a") convergetoF(a) fora'

—

*aanda"

—

a,

itfollowsfrom
(3)

and (4) that

limF

B

(a)

=

F(a),

whichprovesourtheorem.