emedan han funnit det » vara ett axiom,