prognで式をまとめる。

prognは与えられた式を順々に評価し、最後の式を返してくれます。
例えば、次のようにやると、最後の式の結果のみを返します。

(progn
  (format "%5d" 0) 
  (format "%5d" 1)
  (format "%5d" 2))
"    2"

ちゃんとした使い方は次のような感じになります

(progn
  (setq i 12) 
  (setq j 34)
  (format "%5d" (+ i j)))
"   46"

参考もと

• progn prog1 prog2 prog3 - わからん