数学者は理論を証明する能力を持っている．