Loading paper
The diagonalization method and Brocard's problem | Tomesphere