Størmer's theorem

Etymology
Named after.

Proper noun

 * 1)  A theorem that gives a finite bound on the number of consecutive pairs of smooth numbers that exist, for a given degree of smoothness, and provides a method for finding all such pairs using Pell equations.