The original poster here (I think) assumes that $L\ne M$, so essentially, $\lim _{n\rightarrow\infty}a_n\in\{L,M\}$. But OP assumes in his proof at one point that $\lim _{n\rightarrow\infty}a_n=L$. Is that okay?
I have this question because in answer by Andres Nicolas, it is said that if we have proved relevant result about the limit of a sum, or difference, the proof by OP is fine.