Aristotle's first mover theorem is is a number theory | Hacker News Reader