Solving a proportion with distributing