Portal:2 An ancient theorem and a modern question