This argument is clearly valid by application of the K-axiom and modus ponens, i.e., by the K-axiom we can go from the necessity of the consequence, \(\Box(p\rightarrow q)\), to the necessity of both parts, \(\Box p\rightarrow \Box q\), and then we just apply modus ponens at line (2).[9]