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.

E-mail:mcintosh@servidor.unam.mx