If the Fundamental Theorem of Arithmetic requires proof, then the coNP certificate argument embeds a...