Den satsen är wäl ett axiom?