Fixing the first 23 words of a 24-word BIP-39 seed phrase yields exactly eight possible valid checksum words