ancient theorem