"There once was a lemma named Zorn... hey, that sounds like the start of a limerick..." said Tom...

And so I quickly came up with:

There once was a lemma by Zorn.
About it, the experts were torn.
Some wanted to show
That it had to go
And thus Banach-Tarski was born!