User:J D Bowen/Futurama Theorem