>>535
はい
gcd(2^10, 2^5, 2^7) = gcd(gcd(2^10, 2^5), 2^7) と、
このことから gcd は min であるということはイメージできますか？
それが2以外の素因数がある場合でもそれぞれ成り立っていると思えば難しくないと思うけどなあ