What is the solution to the proportion 8/x = 5/10?