Definitioner och satser 6.pdf