3 ms·Computing the Euler totient function, part 3: proving phi is multiplicative1 points by notomorrow 7y ago