a_{p(k)}\in I_k\backslash \{\alpha\}