(Bi)-orthogonality relation for eigenfunctions of self-adjoint operators. (21st October 2019)