theorem :: Proposition 4.2
  the InternalRel of R is symmetric implies
    f_0 R = f_1 R by UncEqTau;
