Um restaurante dispõe de sete tipos distintos de salada: tomate, maionese, alface, brócolis, espinafre, pepino e rúcula. Porém, ao montar o buffet, diariamente, são escolhidos apenas três tipos.
O número de possibilidades de escolher três tipos distintos dessas saladas para compor o buffet, de modo que uma delas seja necessariamente a de maionese, é
