与正整数a互素且小于a的正整数有\(\phi\)(a)个。