2可能有点问题，如果正整数n≡3(mod 4), 对n的每个因数d, d和n/d都一定有一个4k+1型，另一个是4k+3型
所以在n的大于1的真因数中4k+1型因数与4k+3型因数的个数相等，再算上1的话，4k+1型真因数正好比4k+3型的个数多1，这样所有正整数n≡3(mod 4)都满足2的要求

4k+1型素数和4k+3型素数的个数会交替无数次

4n+3素数略多，检验最小的那些素数，每经过r个牌坊素数组(p，p+2，p+6，p+8都是素数)，4n+3素数最多比4n+1素数多r个，有时4n+1素数会反超4n+3，但到了牌坊素数组，会重整（船到桥头自然直）。