The trace of $T_2$ takes no repeated values
We prove that the trace of the Hecke operator $T_2$ acting on the vector space of cusp forms of level one takes no repeated values, except for 0, which only occurs when the space is trivial.