theorem :: RPR_1:11

for E being non empty set
for e being Singleton of E
for A being Event of E holds
( not e c= A \/ (A `) or e c= A or e c= A ` )