Buktikan bahwa, jika s|m dan s|p maka s|m-p untuk s,m,p anggota bilangan bulat

s|m : s membagi m
       : m habis dibagi s

jika s|m maka
m = sk
jika s|p maka
p = sr

adb : s|(m-p)
↔ m - p = sn
bukti :
m - p = sk - sr
         = s(k - r)
         = sn   ;  dengan n = (k - r)
            terbukti