User blog comment:Alemagno12/A definition for phi(n)/@comment-30004975-20161220231627/@comment-30004975-20161222164129

I agree.