Zauważmy, że jeśli liczba raz pojawi się na górze stosu, to aby pojawiła się tam ponownie, wcześniej musi się tam znaleźć liczba większa od W szczególności pojawi się na górze co najwyżej raz. Jeśli to nastąpi, to pojawi się później co najwyżej raz, jeżeli nie, to również pojawi się w ogóle co najwyżej raz. Po ewentualnym wystąpieniu liczba pojawi się co najwyżej raz itd. To oznacza, że w pewnym momencie na górze musi pojawić się liczba