We prove Huygens' principle for the Dirichlet boundary value problem by using the Herglotz-Petrovskii-Leray formula.