ユークリッドの互除法って証明なしに記述でつかってもよろし?