It takes 5 painters 10 days to paint a house.
How many days does it take for 10 painters to paint the house?