Inverse Condition

Question

Given a matrix $H \in \mathbb{R}^{M \times K}$, the new matrix $W$ is defined as $$ W = H^T H,$$

where $T$ denotes the transpose operator.

I know that $W$ is invertible if $M \geq K$, but how can I prove it? Thank you!