for j, l, m being Nat st l >= m holds
MajP (l,j) >= MajP (m,j)