有數學家證明一項數學定理，先前想不到的其他人也可核實證明是否正確。