a_k=b_k