Thus [ H 2 , H 1 ] = 0 , and we see in this case that the constraint formalism leads to the vanishing commutator of the wave operators for the two particles. This is the analogue of the claim stated earlier that the two Dirac operators commute with one another.