Įrodyta, kad Pročezio kategorijoje tenzorinė monomorfizmų sandauga nelygi nuliui. Maksimalus idealas, nesikertantis su izoliuojančia sistema, yra stipriai pirminis.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.