Of course it believes the proof is sound, it wrote it. If you want to check an LLM's output, you should use a different LLM.