Talk:Futurama theorem