Наводиться теорема про умову повноти напівцілісного l-групоїда, що раніше розглядалась без доведення