lehmer
not defined yet