Computing the Euler totient function, part 3: proving phi is multiplicative | Hacker News Reader