Theorem BITS_TO_WORD_APPEND was unused, removed. We are now cheat-free!
Deleted/Moved unnecessary things.