## Proof of a conjecture of S.Mac Lane and some its algorithmic consequences. (extended )

by
Soloviev Spiiran

by
Soloviev Spiiran