proc(n)
  n＝0 ならば戻る
  そうでなければ
  {
    nを印字する
    proc(n－1)を呼び出す
    nを印字する    ←？？？
  }
  を実行して戻る

？？？部分が余分かと思ったのですが、いかがでしょうか？
間違えていたらすみません。

？？？の部分がないと印字されるのは、54321になります。