Graph Isomorphism is Equivalence Relation

Theorem
Graph isomorphism is an equivalence relation.