mathematicians can prove theories