Oaktadt nu denna eftersats är eli axiom ,då