用c++怎么做下面的题目啊？

对于任意互素的a和n，设f(n)为小于等于n的正整数中与n互素的整数个数，验证：a的f(n)次方除以n的余数恒为1.

我也想知道