＞Hence　a∈A_(n-3)　の導き方
そのまま書いてあるし・・・
a∈A_{n-3}のためには
aの要素は{1,2,...,n-3}にはいってないとダメ
n_i)−1≦n-3はここに使う
|c|=i+1 にたいして　|a|=iだから、
fatであるためにはaの要素はi以上ならいいでしょ
(n_1)-1≧i はここに使う
連続する要素がないのはcがそうなんだからすぐわかる

これでa∈A_{n-3}

次はこれが実際に全単射である事をチェック
これでc_n=a_{n-3}が確定
これで、AのほうもBの方も同じ形のゼンカシキになるから
帰納法でOK