Granville and Monagan further proved that p2 must actually divide mp − 1 − 1 for every prime m ≤ 89.
Sőt, Granville és Monagan szerint p2-nek még az mp − 1 − 1 mennziségnek osztójának is kell lennie az összes m ≤ 89 prímre.