Definitioner och satser 9.pdf