>>473の例はすでにCPS変換後のプログラム．
だから変換前のプログラムを考えなければ
(lambda (x y) (list y x))
が継続である，という主張は意味を持たない．