Lägga till satser och definitioner till föreläsning 6

Satser och definitioner saknas från kapitel 7.8 - Diofantiska ekvationer och 8.1 - Relationer. Föreläsningsanteckningar bör läggas till snarast.