Christian Buchta noticed the mathematical nature of the SchuetteNesbitt formula, the formula name coined by Hans U. Gerber.
Christian Buchta, see , noticed the combinatorial nature of the formula and published the elementary combinatorial proof of (3). 
