A great part of its [higher arithmetic] theories derives an additional charm from the peculiarity that important propositions, with the impress of simplicity on them, are often easily discovered by induction, and yet are of so profound a character that we cannot find the demonstrations till after many vain attempts; and even then, when we do succeed, it is often by some tedious and artificial process, while the simple methods may long remain concealed.