theorem :: RPR_1:33

for E being non empty finite set holds prob (([#] E),([#] E)) = 1