>>414
"一般性を失わず、d1 ＜ d2 としましょう。"と書いたのに分らないのかね・・・？
じゃ、n=max(d1,d2)+1 としましょう。

ここに、max(d1,d2)は、普通の定義通り、(d1,d2)のどちらか大きい方です