任意の木 "x" および "y" について、skxy" はいつでも "y" と評価されることがわかる。