b_k \in K(a_k)