Page "Congruence relation" Paragraph 31
from
Wikipedia
# Given any elements a and a ' of G, if a ~ a ', then a < sup >− 1 </ sup > ~ a ' < sup >− 1 </ sup > ( this can actually be proven from the other four, so is strictly redundant ).
Page 1 of 1.
2.609 seconds.