a_{p(n+1)}\in I_{n+1}\backslash \{\alpha\}