证明：∵5∣（X+9Y）
∴5∣3（X+9Y）,即5∣（3X+27Y）①
又Y为整数,∴5∣25Y ②
由①②可知：5∣[（3X+27Y）-25Y],即5∣（3X+2Y）③
∵X,Y为整数 ∴5∣5（X+Y）④
由③④可知：5∣[（3X+2Y）+5（X+Y）]
即 5∣（8X+7Y）