Determinado Jornal possui uma seção de trabalho onde há apenas dois tipos de profissionais: elaborador de texto e revisor técnico. Sabe-se que nesse setor trabalham 14 funcionários dentre os quais, 4 apenas elaboram textos e 5 executam ambas as atividades descritas. Diante desse contexto, e considerando apenas os funcionários que realizam a revisão técnica neste setor, pode-se afirmar que
