>>371
>> 一般性を失わず d1=a1,d2=a2,・・,dn-1=an-1,dn=anたちは、全て異なるとする
> それはさすがに嘘だけど、

なるほど
では >>361 タイポ訂正

 一般性を失わず d1=a1,d2=a2,・・,dn-1=an-1,dn=anたちは、全て異なるとする
  ↓
 一般論として d1=a1,d2=a2,・・,dn-1=an-1,dn=anたちは、全て異なるとする