The Futurama theorem is a real-life mathematical theorem invented by Futurama writer Ken Keeler, who holds a PhD in applied mathematics, purely for use in the Season 6 episode "The Prisoner of Benda"