S. Soloviev, “Proof of a Conjecture of S. Mac Lane”, BRICS, vol. 3, no. 61, Dec. 1996.