Алгоритмическое распознавание полиномиальных тождествстатья