Source: wikibot/leftover-hash-lemma

= Leftover hash lemma
{wiki=Leftover_hash_lemma}