[Hawkwind]

Ich finde, das sieht ganz vernünftig aus: die gemischten Terme fallen aus dem Skalarprodukt aufgrund der Orthogonalität der Basis heraus und es bleibt, was du geschrieben hast.