In the last line we have used different numbers of ∙ ∙ symbols to denote different contractions. By repeatedly applying the commutation relations it takes a lot of work to express a ^ ^ i a ^ ^ j † † a ^ ^ k a ^ ^ l † † in the form of a sum of normally ordered products. It is an even lengthier calculation for more complicated products.