Note that, for all trees x and all trees y, SKxy will always evaluate to y in two steps, Ky(xy) = y, so the ultimate result of evaluating SKxy will always equal the result of evaluating y.
Valja uočiti da će za sva stabla x i sva stabla y SKxy uvijek evaluirati u y u dva koraka, i konačni će rezultat evaluiranja SKxy uvijek biti jednak rezultatu evaluiranja y.