ProvablePrimeQ — ある数が素数か複合数かを証明する

PrimeQCertificate — 数の素数性または合成数性についての証明書を与える

PrimeQCertificateCheck — 与えられた証明書が正しいかどうかをチェックする