flir antaga som ett axiom den satsen ;att