ett axiom1 som ej tarfvade bevis , men hrBjörnson