So we have . So basically what it is saying that the number of numbers coprime to is equal to the totient product of their prime factors. So then . What's wrong with this (am I interpreting this incorrectly)? Also why is defined for integers as opposed to just integers . Because a number is never coprime with itself right?