a mathematician can prove theorems