I am confident of my ability to demonstrate that one can sometimes believe in something and yet not believe in it. Nothing is less fathomable than the systems that motivate our actions.
Those who have racked their brains to discover new proofs have perhaps been induced to do so by a compulsion they could not quite explain to themselves. Instead of giving us their new proofs they should have explained to us the motivation that constrained them to search for them.