Christian Buchta noticed the factorial 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). In the two-page note , Hans U. Gerber, called it SchuetteNesbitt formula and generalized it to arbitrary events. 
