I am supposed to show that, for Euler's totient function:
a.) If n is an odd integer, then .
b.) If n is an even integer, then .
I thought I would use the multiplicity of phi to establish this, i.e.
Obviously this doesn't work, because while it works for (a), it contradicts (b). Not sure why.