合成性證書

合成性證書是一段資訊，它保證給定的數 是 合數。可能的證書包括一個數的 因子（一般來說，透過直接除法檢查比最初確定要快得多），或者確定以下任一情況：

（即， 違反 費馬小定理），或

滿足任一性質的量 被稱為 是合數的見證。