0PDJ Proposition 8.2.15. Let α,β∈Cn\alpha,\beta\in C_{n}. We have α∼′β\alpha\sim^{\prime}\beta if and only if α∼β\alpha\sim\beta.
0PDK Proof. It is clear that α∼′β\alpha\sim^{\prime}\beta implies α∼β\alpha\sim\beta. The converse follows from Lemma 8.2.14. ∎