Question $3\mathrm{.}5$

Using the basic natural deduction rules, the $$ introduction and elimination rules of the basic modal logic K$.$

Prove the validity of the following sequent:

diamond$(pq)|--{?}_{K}p$diamondq$||$