Uma reforma pode ser executada por 8 pedreiros em 15 dias. Se mais 4 pedreiros forem incluídos na equipe, mantendo o mesmo ritmo de trabalho, em quantos dias a reforma pode ser executada?