a_1,...,a_{k_2} \in R