70: totient function: big ah ha moment