If 5 workers can finish a task in 4 days, how many days will it take 10 workers to finish the same task?

5 workers complete the task in 4 days ( It means total work 5*4=20)
How many days are required to finish the same work by 10 workers?
Days=Total Work / Total Workers
Days=20/10=2