theorem Th6: :: RELAT_2:13

for R being Relation holds
( R is symmetric iff R = R ~ )