Ensi kerralle jaollisuus- ja kirjainlaskentaluentoa varten pääsette tutkimaan tehtävien laadinnassa hyödyllisiä jaollisuuslauseita. Osoita siis seuraavat todeksi m.o.t.-tyylillä joko suoralla, epäsuoralla tai induktiivisella todistuksella tai vastaesimerkillä.

Lause. Olkoot n ja m kokonaislukuja. Jos on olemassa sellainen k, että k | n ja k | m, niin k | (n+m).

Lause. Olkoon n positiivinen kokonaisluku, joka ei ole alkuluku. Tällöin on olemassa sellainen k ≤ √n, jolle k | n.

 

Lause. Osoita, että luku on jaollinen kolmella, jos ja vain jos sen numeroiden summa on jaollinen kolmella.