For tidsuavhengige kvantemekaniske systemer med diskrete energistatistikker holder en lignende setning. For hver og eksisterer en tid som er større enn , slik at , hvor betegner tilstandsvektoren til systemet på tidspunktet t.