Newberger's formula generalizes a formula of this type proven by Lerche in 1966; Newberger discovered it independently.
Newberger's formula is an extension of a formula first proven by Lerche in 1966; Newberger found the same formula independently.