2 公約数は最大公約数の約数であることを証明せよ。