It is not the case that The AKS primality certificate verifies primality of individual factors, but the coNP certificate requires verifying the *completeness* of the factorization, a globally quantified claim not reducible to local factor checks.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.