a mathematician can prove a theorum