Ha 17 osztja az "a+2b" kifejezést, akkor ennek a kifejezésnek a többszörösét is osztja. Hiszen például, ha a 3 osztja a 9-et akkor 3 szintén osztja a 9*2; 9*3; 9*4; satöbbit is.
E gomndolatmenet alapján tehát 17 oszja az "a+2b" kifejezés 3-szorosát is, tehát 17 oszja az "3a+6b" kifejezést.
Észreveheted, hogy a "20a+6b" kifejezést széthetheted így "17a+3a+6b" kifejezésre.
Mint már bizonyítottuk a "3a+6b" kifejezést osztja 17, ezért ezt a részt elhanyagolhatjuk oszthatóság szempontjából.
Így marad a "17a" kifejezés, amit láthatóan oszt 17, hiszen "a" együtthatója 17. (És persze ne feledjük, hogy ezek akkor teljesülnek ha "a" és "b" természetes számok (0; 1; 2; 3; 4; ...))