Dodal dokaz leme o nilp. vsote nilp. levih idealov.