Claim: Christian Buchta noticed the factorial nature of the Schuette–Nesbitt formula, the formula name coined by Hans U. Gerber.
Evidence: Christian Buchta, see , noticed the combinatorial nature of the formula and published the elementary combinatorial proof of (3). In the two-page note , Hans U. Gerber, called it Schuette–Nesbitt formula and generalized it to arbitrary events.