>>389
A =
a b
c d
を [[a,b],[c,d]]と書くことにする。
P = [[0,-1],[1,0]]
Q = [[1, 1],[0,1]]
とする。
Pはπ/2 の回転行列
PとQは正則で、SL2(Z)に逆行列があるので
このPとQをAにかけていって
有限回で単位行列にできることを示すといい。
そうすれば単位行列からPとQ（とその逆行列)によって
Aを導くことができることになる。