The proof of this result uses some results of Dalla Volta and Lucchini
[1]} and Dalla Volta, Lucchini, and Morini
[2]} about the number of generators of powers
of certain diagonal-type subgroups of direct powers of copies of a
monolithic group.
