さて、いよいよリスト導入にいく訳ですが、
さっき入れた(n)、これが(*,…,*)という「リスト」に拡張されるという。

と、進む前に一応。nも他のaやzのように、こちらが数を決めて
ぶっこんでもよい、みたいです。つまり例えば、
f((4,6,2,3,5),(10))と書いても平気で、これは一意の巨大数として決まると。

で、(*,…,*)ですが、これがどういうニュアンスなのかちとわからんです。
(n)は1次で、2次以上だと(*,…,*)と書いて、リストと呼ぶってことなのかなぁ。
この次数がどう決まるのか、とかわからんです。
ひょっとしてf_nの定義から逆読みしていけばちゃんと決まるのかなぁ。

あと、m重リストってのは、
m＝1で(*,…,*)
m＝2で((*,…,*),(*,…,*))　みたいに続くのかな。
これらリストの次数は互いに異なってもいいのかな。あはん