The equivalence between the two expressions in this equation, one in terms of the median operation and the other in terms of lattice operations and inequalities is Theorem 1 of Birkhoff & Kiss (1947).
Эквивалентность двух выражений в этом равенстве, одного в терминах операции медианы и другого в терминах операций решётки и неравенств, — это теорема 1 в работе Биркгофа и Кисса (Birkhoff, Kiss 1947).