互いに素★京都大学

m＋nとnが互いに素ならば、ユーグリットの互除法よりmとnも互いに素である。

n×（m＋nCn）＝（m＋n）×（m＋n−1Cn−1）

nとm＋nが互いに素だから、
（m＋nCn）はm＋nの倍数である。

↑私自身の勉強のメモ代わりにブログを使いました…