Em um modelo de leil˜oes com valores privados independentes demonstramos que se os tipos s˜ao multidimensionais ent˜ao no leil˜ao ´otimo h´a exclus˜ao de tipos.