theorem :: RPR_1:34

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