Spectral Theorem for the Dirichlet Laplacian with Compact Resolvent