a mathematician can prove a theorem