denna sats just icke är nägot axiom , sä är denätminstone