I think it would be entertaining if we could come up with a list of theorems named after non-human animals (so excluding names like "Gauss's lemma" and the like). So far, I have only encountered two, or if there's more I can't remember them:
$1.$ The Butterfly Lemma (aka the Zassenhaus Lemma in group theory)
$2.$ The Snake Lemma of homological algebra
Is anyone aware of any more theorems named after animals? And if so, why does it have the name it has?
(I'm also not sure as to whether or not I should tag this question as a soft question, as it seems that whether or not a theorem has such a name has an objective answer, but I am happy to edit if need be.)