9단원에서 질문 드립니다.

p.216을 보면(5판)

eqs. (9.9) , (9.12)에 의해 ai = ki * Xi 가 된다고 적혀있습니다.
그리고 이게 Henry's law의 alternative expression이라고 적혀있구요.

그런데 (9.9)는 pi = ki * Xi 이고, (9.12)는 ai = pi / pi o 인데요, (식을 적기가 힘들어서 저렇게 표시했습니다;)

이 식만으로 어떻게 위 식을 유도 할 수 있는 것인지 궁금합니다.