mathematicians can prove theorems