0PDK Proof. It is clear that α∼′β\alpha\sim^{\prime}\beta implies α∼β\alpha\sim\beta. The converse follows from Lemma 8.2.14. ∎