強擬素数

転送先:

• ミラー–ラビン素数判定法