Solves a : b = c : x for x.
Example: 2 : 3 = 4 : x → x = 6