gcdが最大公約数を表すなら、その関係式は成り立つょ。