Definitioner och satser 8.pdf