Suponha que eu denote que , e sejam qualquer função.
Eu quero provar que se a propriedade de passagem única detém em , então deve ser supermodular sobre .
Eu sei que em geral supermodular significa cruzamento único, mas o inverso não é verdadeiro, mas meu palpite ao adicionar uma função aleatória deve garantir que a propriedade de cruzamento único mostre supermodularidade.