Suppose we have some model for some system, and that model has given us a sequence \mathcal{E}_1,\mathcal{E}_2,\mathcal{E}_3,\ldots, whose values are interpreted as the energy levels of the system. Denoting the energy levels slightly redundantly for future modification soon below, we state that...