We wish to verify that the states we have deduced are really eigenstates of the operator. We will really compute this in the most brute force.
Now lets do the state.