Доказательство окончено. Следовательно, между образцами, рассматриваемыми с точностью до именования переменных, и множествами применений образцов существует взаимно однозначное

Следовательно, между образцами, рассматриваемыми с точностью до именования переменных, и множествами применений образцов существует взаимно однозначное соответствие.

Семейство слов в основном алфавите { ₁, . . . , _r} называется согласованным применением образцов t₁, . . . , t_r, если найдется такая подстановка Q для всех различных символов переменных в этих образцах, что " i= 1, . . . , r(t_i Q = _i). То есть если все эти слова получаются из соответствующих им образцов с помощью одного и того же уточнения входящих в них одинаковых символов переменных.