F19 01 Euklidiska vektorrum definition