Se sabe que ocho operarios pueden cavar una zanja en 18 horas ¿cuántos operarios del doble de eficiencia se deberán contratar para acabar la misma zanja en el mismo tiempo?