text: Эквивалентность двух выражений в этом равенстве, одного в терминах операции медианы и другого в терминах операций решётки и неравенств, — это теорема 1 в работе Биркгофа и Кисса (Birkhoff, Kiss 1947).