theorem Th38: :: RPR_1:38

for E being non empty finite set
for A, B being Event of E st A misses B holds
prob (A,B) = 0