Comment by skybrian

That seems wrong unless you have an unusual definition of "understanding":

* Lots of people use math for calculations without having proven any theorems.

* You can understand a mathematical statement without understanding or even having a proof. There are proofs built on the axiom of choice and conjectured results.