Uma cidade tem 500.000 residências e em nenhuma residência mora mais que 5 pessoas. Nessa situação, é correto afirmar que

necessariamente existem residências com apenas um morador.