Futurama theorem