The original proof was bijective and generalized the de Bruijn sequences.
This bijective relationship can easily be established using BackLinks.
Antonyms
