Newberger's formula generalizes a formula of this type proven by Lerche in 1966; Newberger discovered it independently.
Newberger's formula builds upon a formula established by Lerche in 1966; both discovered it independently.