advances in the todo list

show that spectrum of Laplacian on a compact manifold is discrete:
check!