(Bi)-orthogonality relation for eigenfunctions of self-adjoint operators. (2nd September 2019)