Durante a reunião de equipe em uma empresa, a líder do setor fez as afirmações abaixo.

1) O setor receberá benefícios no final do ano e nenhum funcionário será demitido.

2) Se Renata conseguir fechar o contrato com o fornecedor de lâmpadas, então nenhum funcionário será demitido.

3) Se Guilherme trabalhar arduamente com as metas estabelecidas, então o setor receberá benefícios no final do ano.

Considerando-se as três afirmações acima como verdadeiras e sabendo-se que Guilherme trabalhou arduamente com as metas estabelecidas, é correto concluir que, certamente,