Įrodyta, kad sveikuosiuose Pročezio kategorijos plėtinuose kiekvieną stipriai pirminį vienpusį idealą galima pakelti.
Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.