In essence, this sum runs over all cycles of length 2 in the de Bruijn
diagram. The solution to the requirements that by = xi and ax=yj is
that insofar as this notation can be respected on
account of the fact that y might not have even length.
Harold V. McIntosh