Theorems are not discovered by accident.
The world doesn't have to be like this. Things can be different.