Redirecting to Laplace operator/Proofs