SL(n,Z)が有限生成群であること示すのにユークリッドの互除法使うのがおもしろい