consider x being Probability of S;
x in Probabilities S by Def1;
hence not Probabilities S is empty ; :: thesis: verum