текущим порядком (или просто порядком, если это не вызовет разночтений). Пусть дано некоторое p-сравнение:
(4)
p-сравнение типа[П](произведение).
Замечание (о порядке группы ). Если k – порядок этой группы, тогда полученное сравнение имеет правую часть, равную , где l – правая часть начального сравнения (до преобразования).
Нас интересуют p-сравнения, в которых l=1 либо l=-1; и . Действуя над сомножителями (4) некоторой группой , получим сравнение подобного типа. Действительно, так как из [П] Þ
(4)
). Если k – 
, где l – правая часть начального сравнения (до преобразования).
и 
. Действуя над сомножителями (4) некоторой группой 
из [П] Þ
либо l1=-1.
обозначим [B0].