theorem :: GLIBPRE0:10

for R being symmetric Relation
for x being object holds Im (R,x) = Coim (R,x)