Satsen är alltså att anse som ett axiom;