Note that the above gcd condition is stronger than the mere existence of a gcd.
上記の gcd 条件は単に gcd が存在するという条件よりも強いことに注意せよ。