正気

朝晩と涼しくなってきて快適．ノートの消費量で測ると，8月は（特にお盆前後から彼岸にかけては）低調だった……例年のことなのだが．そろそろ正気に戻りたいところ．

職場の自室と，学内のパブリックスペースを転々としながら文献読み．当たり前みたいなことで，へぇ，と思ったこと： $m$が平方因子のない自然数，$n$ は $m>n>0$ なる自然数とすると，$m$ の素因数 $p$ で，$n$ を割り切らないものがある．