set
x
= the
Probability
of
S
;
the
Probability
of
S
in
Probabilities
S
by
Def1
;
hence
not
Probabilities
S
is
empty
;
:: thesis:
verum