6.1.2.2 Sequent calculus

Problem: Construct a derivation of sequence in sequent calculus: \[ (\varphi \rightarrow \psi),(\psi \rightarrow x) \vdash(\varphi \rightarrow x) . \]