Concept

Adleman–Pomerance–Rumely primality test