最大公約数的にはATだろ