Oito encanadores, todos com ritmo quase idêntico de trabalho, trabalhando 7 horas por dia, executam determinado serviço em 20 dias. Se 10 encanadores, com a mesma força de trabalho, trabalharem o mesmo número de horas diárias, esse mesmo serviço será executado em, no mínimo: