Soloviev, S. Proof of a Conjecture of S. Mac Lane. BRICS 1996, 3.