konstigt bevisa ett helt enke t axiom , nemi.