theorem :: RPR_1:31

for E being non empty finite set
for A, B being Event of E holds (prob A) - (prob B) <= prob (A \ B)