theorem :: RPR_1:56

for E being non empty finite set
for A, B being Event of E st A,B are_independent holds
A ` ,B are_independent