The proof examines the set of elements a in the finite field of order pq such that a and 2–a both have norm 1.
Доказательство проверяет множество элементов a в конечном поле порядка pq, таких что a и 2–a имеют норму 1.