Le produit scalaire de ` bbU"|"A>` et ` bbU"|"B>` est :

`< A"|"bbU^†bbU"|"B> = < A"|"B>` puisque `bbU^†bbU = 1` (`bbU` étant un opérateur unitaire décrivant l'évolution dans le temps).