4More general definitions are possible, but apart from some minor changes to the algebra, the final results hold for all scalar products