Modal Logic - □ distribution over →

Question

In the modal logic K does □ distribution over →?

For example, would the following be correct?

□(p → q) ≡ □p → □q