Se de um conjunto que contém no máximo m elementos do tipo X retiram-se n elementos com n>m, o que se pode afirmar sobre os elementos retirados?

Resposta

Há necessariamente pelo menos n - m elementos que não são do tipo X.

Explicação:
Se o conjunto tem no máximo m elementos do tipo X, mesmo que todos esses m sejam retirados, restarão n - m retiradas que não podem ser do tipo X.
Fórmula: \( \text{mínimo de não‑X} = n - m \).

Exemplo:
Uma caixa contém no máximo 5 maçãs verdes. Se retiram-se 8 maçãs, então pelo menos \(8-5=3\) delas são não‑verdes.