明。利用代数数论手段证明素数有无穷多个的出发点之一是利用所谓的欧拉φ函数。”
“对任一正整数n,欧拉φ函数的取值φ定义为:φ:=不大于n且与n互素的正整数的个数。对任一素数p,φ=p-1,这个是因为1,...,p-1这p-1个不大于p的正整数显然都跟p互素。”
“然后,对两个不同的素数p1和p2,φ=,这是因为……”