Samtliga satser och definitioner som ingår i kursmaterialet ska kunna
formuleras. Följande tretton satser ska kunna formuleras och
bevisas (V för Vretblads bok och X för kompendiet):
Sats 2 (Kongruensräkning) V sid 65,Observera att vid tentamen är inga hjälpmedel tillåtna inte ens räknedosa.
Sats 1 (Binomialsatsen) V sid 94,
Sats (Triangelolikheten) V sid 114,
Sats 2.1 (Kinesiska restsatsen) X sid 13,
Sats 3.9 (Lagranges sats) X sid 40,
Sats 3.14 (Delgrupp till cyklisk grupp är cyklisk) X sid 44,
Sats 4.4 (Rationella rötter till polynom med heltalskoefficienter) X sid 61,
Sats 4.5 (Faktorsatsen) X sid 63,
Sats 4.14 (Existens av faktorisering) X sid 70,
Sats 4.18 (Bezouts identitet) X sid 74,
Sats 4.20-21 (Faktoriseringens entydighet) X sid 76-77,
Sats 4.27 (Utgångspunkten för partialbråksuppdelning) X sid 81. Utgår