Theorem.Suppose we have the conjugation isomorphism defined by (e.g. and are conjugates). Then .

The notion is that we have to show that dividesanddivides . But why can't we just stop and say divides ? Because, by definition, if divides , wouldn't that imply that ?