Detta är jn ett axiom , som ejbehoiwer