任意の数の約数の中で、mod4で1になる数と3になる数は
同じか、1になる数が多いというのはどうやって示すの