Membership proofs for NP require a verifiable witness, but FACTORIZATION's complement requires certi...