Solving for unknown terms in a proportion