Теорема 13.

Любая лока имеет, по крайней мере, столько изоморфных систем отношений, сколько полярных объектов в этой локе.

Доказательство.

Имеется по условию лока с объектами А, В, С, …, Х, в которой роль единицы может занять любой объект. Какой бы не установилась система отношений, число таких систем будет столько, сколько полярных объектов хотя бы потому, что каждый объект может равноправно занять место единицы.