The proportion is .
Apply cross product property: If , where
.
(Apply distributive property:
)
(Multiply:
)
(Add 9 to each side)
(Apply additive inverse property:
)
(Apply additive identity property:
)
(Add:
)
(Divide each side by 3)
(Cancel common terms)
(Divide:
)
The solution is .