Edit I think it would be better if someone more familiar with Maeda's conjecture commented on might as well say what I know about the level 1 case. It is "classically" known that Hecke operators are self-adjoint with respect to the Petersson inner product on cusp forms, and they commute with each other. By the spectral theorem, the Hecke operators are therefore simultaneously diagonalizable, i.e., there is a basis of the space of cusp forms made out of eigenforms.
Now, let us assume all of the eigenvalues of all of the Hecke operators are distinct (in contrast to the counterexample above). If you have a form $f$ for which some $T_n$ acts by a scalar, then $f$ cannot be a non-trivial linear combination of some basis of eigenforms, i.e., it is necessarily an eigenform. This multiplicity one property is not known in level one in general, but it is known to be true for $T_2$, as I learned in Cardinal Wolsey's brilliant answer to your previous question (the answer was deleted, it seems, because you didn't accept it within 4 days).
More generally, the multiplicity one property is implied by a conjecture of Maeda, which asserts that Hecke operators act irreducibly on $S_k(SL_2(\mathbb{Z}))$ for each $k$. In fact, David Loeffler mentioned, in a comment on the previous question, that there is a lot of computational evidence behind an even stronger assertion, namely that the eigenvalues generate as-big-as-possible Galois extensions over $\mathbb{Q}$.
