Andaikan : X =
XY =
Entre entre dari XY merupakan bilangan bulat, bagaimana
dengan det (XY), apakah det (XY) =1.
Selanjutnya akan dibuktikan
Andaikan X =
Det (X) = ad - bc = 1
1
Jadi terbukti X SL (2,Z), menurut teorema A-1 terbukti SL(2,Z)
subgrup dari GL (2,R)