Induktionsbevis

Det är vårt antagande som vi gjorde i steg två. 

Hänger inte riktigt med? :3 det antagandet att 3|p^3+3p^2+2p+3?

Precis! Vi har antagit att 3 är en delare till polynomet, vilket vi sedan använder för att bevisa att det är sant för (n + 1).

Så man kan göra så, oj... :o

Japp. Det är metoden som induktionsbevis använder. Vi antar att något är sant, och visar att om antagandet är sant, är det sant för (n + 1). Eftersom vi innan detta bevisat antagandet för något basfall (oftast då n = 0 eller 1) får vi en evig cykel av fallande dominobrickor. Vi vet att det stämmer för n = 0, då måste det vara sant för n = 1, varpå det i sin tur måste vara sant för n = 2, osv.