Redirecting to Laplace-Beltrami operator/Proofs