Įrodyta, kad sveikuosiuose Pročezio kategorijos plėtinuose kiekvieną stipriai pirminį vienpusį idealą galima pakelti.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.