[math-fun] Should ET know number theory?