О полноте одной системы преобразований, уменьшающих длину, над обобщёнными полиномамитезисы доклада Тезисы