(p_1q)q^{-1} = (p_2q)q^{-1}