Em uma repartição pública com 32 funcionários, todos votaram em uma enquete para escolher o tipo de festa de fim de ano. Havia apenas duas opções e era permitido votar nas duas. Sabe-se que 23 funcionários votaram na opção churrasco e 15, na opção festa à fantasia. Assim, pode-se concluir corretamente que o número de funcionários dessa repartição que votaram em ambas as opções equivale a: