Category:Graph Isomorphism is Equivalence Relation