Stormer's Theorem Definition

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.