О параллельных прямых, заданных на $n$-арной группе

Предлагается другой подход к понятию параллелограмма, заданного на $n$-арной группе. Традиционно параллелограмм, заданный на $n$-арной группе, – это четыре точки, удовлетворяющие определённому тождеству. Здесь же параллелограмм – это две пары параллельных прямых. Доказывается, что эти два подхода эквивалентны.