4 を法として 3 に合同な素数は
1 に合同なものよりも多いかね?