Об алгоритме прямого тождественного преобразованиятезисы доклада