Theorems are not discovered by accident.