>>344
　[2, -4] `dsp` [3,2,3,4]
は
　[2,-1,2,3,4]
という拡張完全割数列になるという意味です。

>>345
証明では一回の拡張star変換を使うだけで、すべての 3の倍数の奇数 をまかなえます。（>>273 の chapter06 の表参照）なので
AllLimited 3 は、
　FirstLimited 45
　FirstLimited 81
　FirstLimited 15
　FirstLimited 21
　FirstLimited 39
を証明する時しか使わないので、AllLimited 3 では 5個 内蔵しています。

>>346
まず「FirstLimited 3」は内蔵しています。
そして、「FirstLimited」という形ではないですけど、AllLimited 3 では 5個 内蔵しています。
「[2, -4] `dsp` [3,2,3,4]」が有限長と分かっているから、「FirstLimited 45」も成り立つ、としています。