郭敦顒回答：
∵p^5q^5/pq=p^4q^4
∴pq︳p^5q^5
∴对于素数对(p,q),p与q任何素数均适合.
公元前三世纪,古希腊数学家欧几里得用反证法即证明有无穷多个素数.