  We provide a short proof for the theorem that two compact Riemannian
manifolds are isomorphic if and only there exists an order isomorphism which
intertwines between the heat semigroups on the manifolds.
