假如有两个正整数p1,p2，其中p1>p2，那么必然存在两个自然数k，b，使得p1=k*p2。请问这是为啥啊