b\neq c_n, \forall n\in \mathbb{N}