Solving a proportion using cross multiplication