Dirichlet Eigenvalue is Strictly Positive

Theorem
Let $\struct {M, g}$ be a compact connected Riemannian manifold with non-empty boundary $\partial M$.

Let $\lambda$ be a Dirichlet eigenvalue of $M$.

Then $\lambda$ is strictly positive.