d is een deler van a, dus er is een geheel getal v waarvoor geldt a=v*d. d is een deler van m, dus er is een geheel getal w waarvoor geldt m=w*d. We kunnen a-qm dus schrijven als a-qm=v*d-qw*d=(v-qw)*d. v-qw is een geheel getal, dus d is een deler van a-qm.