In Section 2.3 of the second edition of Modern Quantum Mechanics (which discusses the harmonic oscillator), Sakurai derives the relation $$Na\left|n\right> = (n-1)a\left|n\right>,$$ and states that
this implies that $a\left|n\right>$ and $\left|n-1\right>$ are the same up to a multiplicative constant.
To my sensibilities, this is only implied if the $\lambda$-eigenspace of the number operator $N:=a^{\dagger}a$ corresponding to $\lambda=n-1$ is one-dimensional. If it is multidimensional, then we cannot say that $a\left|n\right>$ and $\left|n-1\right>$ are proportional. So (unless I've made some fundamental error) how do we know that the $\lambda$ eigenspaces of $N$ are one dimensional?