I have found a new formula in Dirac calculus. The formula is elementary, so probably I'm not the first who found it. Yet, I have never seen it before. As many other formulas in Dirac calculus, it is not rigorous in the sense of functional analysis. Rather, it is a formal equality, which is only...