Sorry, that's not the theorem I'm referencing. See the section "Revenue equivalence of the Vickrey auction and sealed first price auction". (Or https://en.wiki

Sorry, that's not the theorem I'm referencing. See the section "Revenue equivalence of the Vickrey auction and sealed first price auction". (Or https://en.wikipedia.org/wiki/Revenue_equivalence https://en.wikipedia.org/wiki/Revenue_equivalence)