>>507
素数判定は、AKS法が、リーマン予想を前提せず、
さらに決定的だから、ミラーラビン法より良くね?