12345定理，又称为贝祖定理，是一个数论定理，指出如果a、b是正整数，且a、b互质，那么a、a+b、a+2b、a+3b、a+4b这五个数中，必有一个数能被5整除。

证明：

首先，因为a和b互质，所以a对5的余数只能是1、2、3、4中的一个。

其次，将a, a+b, a+2b, a+3b, a+4b分别除以5，得到的余数分别为r1, r2, r3, r4, r5。

考虑r1, r2, r3, r4, r5五个余数中，如果有余数为0，则对应的数能被5整除，命题成立。

如果没有余数为0，那么五个余数只能是1、2、3、4中的不同组合，而这四个数相加的余数只有可能为0、1、2、3、4中的一种。

如果余数和为0，则五个数中至少有一个能被5整除，命题成立。

如果余数和不为0，则至少有两个余数相同。设r1=r3，则a、a+2b、a+4b对5求余数的结果都是r1，其中至少有一个能被5整除，命题成立。

综上所述，命题成立。

应用：

12345定理在数论中有广泛的应用。例如，在计算机科学中，可以用来判断一个数字是不是质数。如果一个数p是质数，那么它和小于p的所有正整数都是互质关系，因此可以利用12345定理来判断p是否为质数。具体方法是将p-1代入a，1代入b，根据12345定理判断p是否为质数。