We study the image of the model subspace $K_\theta$ under the composition operator $C_\varphi$, where $\varphi$ and $\theta$ are inner functions, and find the smallest model subspace which contains the linear manifold $C_\varphi K_\theta$. Then we characterize the case when $C_\varphi$ maps $K_\theta$ into itself. This case leads to the study of the inner functions $\varphi$ and $\psi$ such that the composition $\psi\circ\varphi$ is a divisor of $\psi$ in the family of inner functions.