Definitioner och satser Övn1.pdf