Week-9 Lagrange's identity and Green's theorem for self adjoint operator