The history of mathematics (e.g., Fermat's Last Theorem, the Poincaré conjecture) demonstrates that ...