The diagram below shows when two prehistoric primate species existed in Africa.
![A grid showing the evolutionary time periods for two prehistoric primates, Proconsul and Kenyapithecus. The horizontal axis represents time in 'Millions of years ago' and decreases from left to right, with marked ticks at 25, 20, 15, 10, and 5. There are 10 small grid divisions between consecutive ticks of 5 million years, meaning each division represents 0.5 million years.
Two shaded horizontal rectangular bars show when these species existed:
Determine the number of years both Proconsul and Kenyapithecus existed together.