theorem Th18: :: RPR_1:18

for E being non empty finite set
for A being Event of E holds 0 <= prob A