Transitive Closure of Symmetric Reflexive Relation is Equivalence