つまり "a","b","c","d" が "ad" - "bc" ＝1を満たす整数(つまりformula_24がモジュラー群 "sl"(2,z)に属する)のときim(τ)&gt;0において