mathematicians can prove a mathematical theorem