Definitioner och satser 5.pdf