The certificate for coNP membership presupposes unique prime factorization, which is a non-trivial m...