The concept of an x-root of
degree r in a loop of order n is introduced. It is shown that the totally symmetric
loop of order n + 1 derived from any Kirkman-Steiner triple system of order n
admits a maximal identity-root. A statisticalcombinatorial application of this
algebraic property is then indicated. Finally, two open problems are also
given.