Definitioner och satser 13.pdf