I think you're not aware of the specifics of this case. A mathematician worked on the prompts for over a year to get this proof. Look up the details.