Если каждое из натуральных чисел n и m делится на натуральное число p , то существуют такие числа натуральные k и l, что справедливо n=pk, m=lp.
Для любых произвольных натуральных чисел х и y:
![nx+my=pk*n+pl*y=p*(kn+ly) nx+my=pk*n+pl*y=p*(kn+ly)](https://tex.z-dn.net/?f=nx%2Bmy%3Dpk%2An%2Bpl%2Ay%3Dp%2A%28kn%2Bly%29)
- так как один из множителей в разложении на произведение множителей (множитель р) кратный р, то и число nx+my делится на р. Доказано