Harold Davenport quotes:

Great mathematics is achieved by solving difficult problems not by fabricating elaborate theories in search of a problem.

A peculiarity of the higher arithmetic is the great difficulty which has often been experienced in proving simple general theorems which had been suggested quite naturally by numerical evidence.