Claim: Christian Buchta noticed the mathematical 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).