そういや解析的整数論(素数)の諸結果(素数定理、算術級数定理、星座定理ほか)をもっと素数から離れた言葉で展開できないのかしらたとえば、reductionが単純と言い換えてみるとかたとえば、格子の有限部分集合を変換群で割った同値類と見るとか