theorem :: ROUGHS_5:11

for R being non empty RelStr st the InternalRel of R is symmetric holds
f_0 R = f_1 R by UncEqTau;