拥有超过371种证明的定理美国总统,爱因斯坦都曾证明过