Samtliga satser och definitioner som ingår i kursmaterialet ska kunna
formuleras. Följande satser ska kunna formuleras och
bevisas (V för Vretblads bok och X för kompendiet):
Sats 3.11 (Kongruensräkning) V sid 90,Observera att vid tentamen är inga hjälpmedel tillåtna inte ens räknedosa.
Sats 5.24 (Binomialsatsen) V sid 120,
Sats 6.7 (Triangelolikheten) V sid 142,
Sats 2.1 (Kinesiska restsatsen) X sid 15,
Sats 3.9 (Lagranges sats) X sid 47,
Sats 3.14 (Delgrupp till cyklisk grupp är cyklisk) X sid 51,
Sats 4.4 (Rationella rötter till polynom med heltalskoefficienter) X sid 69,
Sats 4.5 (Faktorsatsen) X sid 71,
Sats 4.14 (Existens av faktorisering) X sid 78,
Sats 4.18 (Bezouts identitet) X sid 82,
Sats 4.20-22 (Faktoriseringens entydighet) X sid 85,
Sats 4.28 (Utgångspunkten för partialbråksuppdelning) X sid 90. (Utgår)